1. A Survey of verification techniques for parallel programs
پدیدآورنده : Barringer, Howard, 1591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
191
2. A practical guide to adopting the Universal Verification Methodology (UVM)
پدیدآورنده : Sharon Rosenberg, Kathleen A. Meade.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programs -- Verification.,Computer software -- Verification.,Debugging in computer science.
رده :
QA76
.
76
.
V57
S537
2010
3. A survey of verification techniques for Parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Parallel processing )Electronic computers(,Verification ، Computer programs
رده :
QA
76
.
5
.
B29627
1985
4. A survey of verification techniques for parallel programs
پدیدآورنده : Barringer, Howard
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic Computers(,، Computer programs - Verification
رده :
QA
76
.
5
.
B29627
1985
5. A survey of verification techniques for parallel programs
پدیدآورنده : Howard Barringer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel programs (Computer programs) -- Verification.,Parallélisme (Informatique)
رده :
QA76
.
5
H693
1985
6. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، PL/CV )Computer program language(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
135
7. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، PL/CV )Computer program language(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
135
8. Calculus of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic. ; Computer programs ; Verification. ;
9. Calculus of computation
پدیدآورنده : / Aaron R. Bradley, Zohar Manna.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer logic,Computer programs--Verification
رده :
QA76
.
9
.
L63
,
B73
2010
10. Compiler specification and verification
پدیدآورنده : / Wolfgang polak
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Compiling (Electronic computer),Computer programs - Verification
رده :
QA76
.
6
.
P648
11. Compiler specification and verification
پدیدآورنده : Wolfgang Polak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Compilation (Ordinateurs),Compilers (Computer programs),Computer programs -- Verification.
12. Compiler specification and verification
پدیدآورنده : Polak, Wolfgang
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Compilers )Computer programs(,، Computer programs-- Verification
رده :
QA
76
.
6
.
P648
1981
13. Compiler specification and verification
پدیدآورنده : Polak, Wolfgang
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Compilers )Computer programs(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
124
14. Compiler specification and verification
پدیدآورنده : Polak, Wolfgang, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Compilers )Computer programs(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
124
15. Compiler specification & verification
پدیدآورنده : POLAK,WOLFGANG
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : COMPILERS )COMPUTER PROGRAMS( , COMPUTER PROGRAMS-VERIFICATION
رده :
QA
76
.
6
.
P648
16. Computer Aided Verification
پدیدآورنده : \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47C6
2015
E-Book
,
17. Computer Aided Verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programs ; Verification ;
18. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
19. Computer aided verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programs ; Verification ;
